0.0.0-experiment-2025.7.7.13

kone.automata/dev.lounres.kone.automata/AsynchronousAutomaton

AsynchronousAutomaton

class AsynchronousAutomaton<State, Transition, NoNextStateReason>(mutex: Mutex = Mutex(), initialState: State, checkTransition: suspend AsynchronousAutomaton<State, Transition, NoNextStateReason>.(State, Transition) -> CheckResult<State, NoNextStateReason>, onTransition: suspend AsynchronousAutomaton<State, Transition, NoNextStateReason>.(previousState: State, transition: Transition, nextState: State) -> Unit = { _, _, _ -> })(source)

Constructors

AsynchronousAutomaton

constructor(mutex: Mutex = Mutex(), initialState: State, checkTransition: suspend AsynchronousAutomaton<State, Transition, NoNextStateReason>.(State, Transition) -> CheckResult<State, NoNextStateReason>, onTransition: suspend AsynchronousAutomaton<State, Transition, NoNextStateReason>.(previousState: State, transition: Transition, nextState: State) -> Unit = { _, _, _ -> })

Properties

val state: State

Functions

suspend fun <State, Transition, NoNextStateReason> AsynchronousAutomaton<State, Transition, NoNextStateReason>.move(transition: Transition): MovementResult<State, Transition, NoNextStateReason>

inline suspend fun <State, Transition, NoNextStateReason> AsynchronousAutomaton<State, Transition, NoNextStateReason>.move(transition: suspend (State) -> Transition): MovementResult<State, Transition, NoNextStateReason>

inline suspend fun <State, Transition, NoNextStateReason, Computation> AsynchronousAutomaton<State, Transition, NoNextStateReason>.moveAndCompute(transition: suspend (State) -> TransitionAndComputation<Transition, Computation>): MovementAndComputationResult<State, Transition, NoNextStateReason, Computation>

suspend fun <State, Transition, NoTransitionReason, NoNextStateReason> AsynchronousAutomaton<State, Transition, NoNextStateReason>.moveMaybe(transition: TransitionOrReason<Transition, NoTransitionReason>): MovementMaybeResult<State, Transition, NoTransitionReason, NoNextStateReason>

inline suspend fun <State, Transition, NoTransitionReason, NoNextStateReason> AsynchronousAutomaton<State, Transition, NoNextStateReason>.moveMaybe(transition: suspend (State) -> TransitionOrReason<Transition, NoTransitionReason>): MovementMaybeResult<State, Transition, NoTransitionReason, NoNextStateReason>

moveMaybeAndCompute

inline suspend fun <State, Transition, NoTransitionReason, NoNextStateReason, Computation> AsynchronousAutomaton<State, Transition, NoNextStateReason>.moveMaybeAndCompute(transition: suspend (State) -> TransitionOrReasonAndComputation<Transition, NoTransitionReason, Computation>): MovementMaybeAndComputationResult<State, Transition, NoTransitionReason, NoNextStateReason, Computation>